ePMC - wlan sent 5-0

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property sent
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 3276 3276
build-model-states-explored 9565 6289
build-model-states-explored 16059 6494
build-model-states-explored 22976 6917
build-model-states-explored 30236 7260
build-model-states-explored 37183 6947
build-model-states-explored 42861 5678
build-model-states-explored 49650 6789
build-model-states-explored 56283 6633
build-model-states-explored 62713 6430
build-model-states-explored 69909 7196
build-model-states-explored 77128 7219
build-model-states-explored 84951 7823
build-model-states-explored 93532 8581
build-model-states-explored 101797 8265
build-model-states-explored 110450 8653
build-model-states-explored 118793 8343
build-model-states-explored 125782 6989
build-model-states-explored 131723 5941
build-model-states-explored 139424 7701
build-model-states-explored 147595 8171
build-model-states-explored 155767 8172
build-model-states-explored 163938 8171
build-model-states-explored 172106 8168
build-model-states-explored 180292 8186
build-model-states-explored 188235 7943
build-model-states-explored 196404 8168
build-model-states-explored 203882 7479
build-model-states-explored 210142 6260
build-model-states-explored 217661 7519
build-model-states-explored 226182 8521
build-model-states-explored 234708 8526
build-model-states-explored 243239 8531
build-model-states-explored 251762 8523
build-model-states-explored 260298 8536
build-model-states-explored 268717 8419
build-model-states-explored 277179 8461
build-model-states-explored 285689 8511
build-model-states-explored 294200 8511
build-model-states-explored 302715 8515
build-model-states-explored 311210 8495
build-model-states-explored 319735 8525
build-model-states-explored 328266 8531
build-model-states-explored 336668 8402
build-model-states-explored 345023 8355
build-model-states-explored 353458 8435
build-model-states-explored 361901 8443
build-model-states-explored 370334 8433
build-model-states-explored 378761 8427
build-model-states-explored 387203 8442
build-model-states-explored 395639 8436
build-model-states-explored 404106 8467
build-model-states-explored 411620 7514
build-model-states-explored 418049 6429
build-model-states-explored 426146 8097
build-model-states-explored 432838 6692
build-model-states-explored 438428 5590
build-model-states-explored 444200 5772
build-model-states-explored 449872 5672
build-model-states-explored 455851 5979
build-model-states-explored 461197 5346
build-model-states-explored 469164 7967
build-model-states-explored 477332 8168
build-model-states-explored 485538 8206
build-model-states-explored 493762 8224
build-model-states-explored 501961 8199
build-model-states-explored 510180 8219
build-model-states-explored 518181 8001
build-model-states-explored 526218 8037
build-model-states-explored 534383 8165
build-model-states-explored 542603 8220
build-model-states-explored 550812 8209
build-model-states-explored 559033 8221
build-model-states-explored 567245 8212
build-model-states-explored 575280 8035
build-model-states-explored 583313 8033
build-model-states-explored 591361 8048
build-model-states-explored 599375 8014
build-model-states-explored 607594 8219
build-model-states-explored 615795 8201
build-model-states-explored 623985 8190
build-model-states-explored 632198 8213
build-model-states-explored 640382 8184
build-model-states-explored 648572 8190
build-model-states-explored 656765 8193
build-model-states-explored 664965 8200
build-model-states-explored 672797 7832
build-model-states-explored 678442 5645
build-model-states-explored 684144 5702
build-model-states-explored 692713 8569
build-model-states-explored 700299 7586
build-model-states-explored 708918 8619
build-model-states-explored 717514 8596
build-model-states-explored 726105 8591
build-model-states-explored 734697 8592
build-model-states-explored 743291 8594
build-model-states-explored 751695 8404
build-model-states-explored 760186 8491
build-model-states-explored 768780 8594
build-model-states-explored 777395 8615
build-model-states-explored 786014 8619
build-model-states-explored 794622 8607
build-model-states-explored 803227 8606
build-model-states-explored 811775 8548
build-model-states-explored 820293 8518
build-model-states-explored 828854 8561
build-model-states-explored 833425 4571
build-model-states-explored 842015 8590
build-model-states-explored 850563 8548
build-model-states-explored 859125 8562
build-model-states-explored 867691 8566
build-model-states-explored 876233 8542
build-model-states-explored 884820 8587
build-model-states-explored 893399 8579
build-model-states-explored 901976 8577
build-model-states-explored 910578 8602
build-model-states-explored 919135 8557
build-model-states-explored 927734 8599
build-model-states-explored 936318 8584
build-model-states-explored 944894 8576
build-model-states-explored 953492 8598
build-model-states-explored 962057 8564
build-model-states-explored 970543 8487
build-model-states-explored 978959 8416
build-model-states-explored 987395 8436
build-model-states-explored 995974 8579
build-model-states-explored 1004576 8602
build-model-states-explored 1013166 8590
build-model-states-explored 1021742 8576
build-model-states-explored 1030346 8604
build-model-states-explored 1038920 8574
build-model-states-explored 1047530 8610
build-model-states-explored 1055756 8226
build-model-states-explored 1064357 8601
build-model-states-explored 1072949 8592
build-model-states-explored 1081604 8655
build-model-states-explored 1090368 8764
build-model-states-explored 1099130 8761
build-model-states-explored 1107849 8720
build-model-states-explored 1116597 8748
build-model-states-explored 1125365 8768
build-model-states-explored 1134105 8740
build-model-states-explored 1142877 8772
build-model-states-explored 1151631 8754
build-model-states-explored 1160381 8750
build-model-states-explored 1169141 8760
build-model-states-explored 1177887 8746
build-model-states-explored 1186627 8740
build-model-states-explored 1195387 8760
build-model-states-explored 1204141 8754
build-model-states-explored 1212891 8750
build-model-states-explored 1221643 8752
build-model-states-explored 1230397 8754
build-model-states-explored 1239073 8676
build-model-states-explored 1247808 8735
build-model-states-explored 1256545 8737
build-model-states-explored 1265272 8727
build-model-states-explored 1274028 8756
build-model-states-explored 1281085 7057
build-model-states-explored 1289157 8072
build-model-done 1295218 160
iterating
iterating-progress-unbounded 41 1.0 1
iterating-progress-unbounded 88 2.0 2
iterating-progress-unbounded 136 2.0 3
iterating-progress-unbounded 183 2.0 4
iterating-progress-unbounded 230 2.0 5
iterating-progress-unbounded 277 2.0 6
iterating-progress-unbounded 324 2.0 7
iterating-progress-unbounded 371 2.0 8
iterating-progress-unbounded 418 2.0 9
iterating-progress-unbounded 464 2.0 10
iterating-progress-unbounded 511 2.0 11
iterating-progress-unbounded 558 2.0 12
iterating-progress-unbounded 604 2.0 13
iterating-progress-unbounded 650 2.0 14
iterating-progress-unbounded 697 2.0 15
iterating-progress-unbounded 743 2.0 16
iterating-progress-unbounded 789 2.0 17
iterating-progress-unbounded 835 2.0 18
iterating-progress-unbounded 881 2.0 19
iterating-progress-unbounded 927 2.0 20
iterating-progress-unbounded 973 2.0 21
iterating-progress-unbounded 1020 2.0 22
iterating-progress-unbounded 1066 2.0 23
iterating-progress-unbounded 1112 0.14285714285714285 24
iterating-progress-unbounded 1158 0.033445610204056626 25
iterating-progress-unbounded 1204 0.01896728596246783 26
iterating-progress-unbounded 1250 0.013219069476659923 27
iterating-progress-unbounded 1296 0.010141577308694943 28
iterating-progress-unbounded 1342 0.008225613211534373 29
iterating-progress-unbounded 1388 0.006918629140585256 30
iterating-progress-unbounded 1435 0.0059519311790943745 31
iterating-progress-unbounded 1481 0.005235901518086618 32
iterating-progress-unbounded 1527 0.004673658949326761 33
iterating-progress-unbounded 1573 0.0042204717561649665 34
iterating-progress-unbounded 1619 0.00369581584749786 35
iterating-progress-unbounded 1665 0.0028882162496864034 36
iterating-progress-unbounded 1711 0.002305663594585252 37
iterating-progress-unbounded 1757 0.0018604260615916613 38
iterating-progress-unbounded 1803 0.0015044152289898343 39
iterating-progress-unbounded 1850 0.0012029765310305701 40
iterating-progress-unbounded 1896 9.503110112842719E-4 41
iterating-progress-unbounded 1942 7.270824393384696E-4 42
iterating-progress-unbounded 1988 5.244405038286527E-4 43
iterating-progress-unbounded 2034 3.3567758690436077E-4 44
iterating-progress-unbounded 2080 1.553899349344761E-4 45
iterating-progress-unbounded 2126 5.7100566469341234E-6 46
iterating-progress-unbounded 2172 5.705197033415156E-6 47
iterating-progress-unbounded 2218 5.661551469643062E-6 48
iterating-progress-unbounded 2265 5.569182184931618E-6 49
iterating-progress-unbounded 2311 5.43203714613792E-6 50
iterating-progress-unbounded 2357 5.2486618264554975E-6 51
iterating-progress-unbounded 2403 5.019073397503242E-6 52
iterating-progress-unbounded 2449 4.7433242729081E-6 53
iterating-progress-unbounded 2495 4.421337593928899E-6 54
iterating-progress-unbounded 2541 4.0531559657460715E-6 55
iterating-progress-unbounded 2587 3.6387723580561368E-6 56
iterating-progress-unbounded 2633 3.178171426714347E-6 57
iterating-progress-unbounded 2679 2.6780628004530936E-6 58
iterating-progress-unbounded 2725 2.205964057811041E-6 59
iterating-progress-unbounded 2771 1.7799560894049471E-6 60
iterating-progress-unbounded 2817 1.4000230682575511E-6 61
iterating-progress-unbounded 2863 1.0661526925401298E-6 62
iterating-progress-unbounded 2909 7.783421843827397E-7 63
iterating-progress-unbounded 2955 5.365964310842913E-7 64
iterating-done 2964 64
model-checking-done 230
command-check-result-is true sent
Model:	wlan v.1 (MDP)
Parameter(s)	MAX_BACKOFF = 5, COL = 0
Property:	sent (prob-reach)
Walltime:	231.74307131767273s
Return code:	0